function print_i64

fn print_i64(val: i64) { .. }