/* START builtins */

function _printf(msg) {
  process.stdout.write(msg);
}

/* END builtins */