function print_i32

fn print_i32(val: i32) { .. }