text: function b9PrintString(a) {
      b9_primitive("print_string", a);
  }
  
  function b9PrintNumber(a) {
      b9_primitive("print_number", a);
  }
  
  function b9PrintStack(a) {
      b9_primitive("print_stack", a);
  }
  