Hello World compiling with new Type+TypeDef, checked+unchecked system.