main() i32 => 42 (uint32)
