function print_u16

fn print_u16(val: u16) { .. }