Thanks. I wonder is it fun to program high integrity software.