11 typedef wchar_t symbol_char;
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
26 void c_to_factor_toplevel(cell quot);