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'); }