function print_u32

fn print_u32(val: u32) { .. }