typedef v3f ["!"[~-1] - 30]f32;

extern fn main (argc int, argv **u8) void {
   extern fn printf(fmt *const u8, ...) int;
   
   return;
}