2004-08-04 03:12:55 -04:00
|
|
|
void primitive_exit(void);
|
|
|
|
|
void primitive_os_env(void);
|
|
|
|
|
void primitive_eq(void);
|
|
|
|
|
void primitive_millis(void);
|
2004-08-04 18:25:29 -04:00
|
|
|
void primitive_init_random(void);
|
|
|
|
|
void primitive_random_int(void);
|
2004-08-24 23:46:55 -04:00
|
|
|
void primitive_dump(void);
|
