8 typedef wchar_t F_SYMBOL
;
10 #define unbox_symbol_string unbox_u16_string
11 #define from_symbol_string from_u16_string
13 #define FACTOR_OS_STRING "wince"
14 #define FACTOR_DLL L"factor-ce.dll"
15 #define FACTOR_DLL_NAME "factor-ce.dll"
18 char *strerror(int err
);
19 void flush_icache(CELL start
, CELL end
);
20 char *getenv(char *name
);
22 #define snprintf _snprintf
23 #define snwprintf _snwprintf
25 s64
current_micros(void);
26 void c_to_factor_toplevel(CELL quot
);
27 void open_console(void);