Robust/src/Runtime/runtime.h

   1 #ifndef RUNTIME
   2 #define RUNTIME
   3 #include<stdlib.h>
   4 #include<stdio.h>
   5
   6
   7 void * allocate_new(int type);
   8 void * allocate_newarray(int type, int length);
   9
  10 #endif