export function print() {
  console.log();
}
export function print_i32(arg) {
  console.log(arg, ': i32');
}
export function print_f32(arg) {
  console.log(arg, ': f32');
}
export function print_f64(arg) {
  console.log(arg, ': f64');
}
export function print_i32_f32(arg0, arg1) {
  console.log(arg0, ': i32');
  console.log(arg1, ': f32');
}
export function print_f64_f64(arg0, arg1) {
  console.log(arg0, ': f64');
  console.log(arg1, ': f64');
}