c_src/string._nitni.c

   1 #include "string._nitni.h"
   2 #include "string_nit.h"
   3 /* out/indirect function for string::Sys::native_argc */
   4 val_t Sys_native_argc___out( val_t recv )
   5 {
   6 Sys recv___nitni;
   7 bigint return___nitni;
   8 val_t return___nit;
   9 recv___nitni.v = recv;
  10 return___nitni = kernel_Sys_Sys_native_argc_0( recv___nitni );
  11 return___nit = TAG_Int(return___nitni);
  12 return return___nit;
  13 }
  14 /* out/indirect function for string::Sys::native_argv */
  15 val_t Sys_native_argv___out( val_t recv, val_t i )
  16 {
  17 Sys recv___nitni;
  18 bigint i___nitni;
  19 char * return___nitni;
  20 val_t return___nit;
  21 recv___nitni.v = recv;
  22 i___nitni = UNTAG_Int(i);
  23 return___nitni = kernel_Sys_Sys_native_argv_1( recv___nitni, i___nitni );
  24 return___nit = BOX_NativeString(return___nitni);
  25 return return___nit;
  26 }