XBT_PUBLIC(size_t) simcall_file_read(size_t size, smx_file_t fd);
XBT_PUBLIC(size_t) simcall_file_write(size_t size, smx_file_t fd);
XBT_PUBLIC(smx_file_t) simcall_file_open(const char* storage, const char* path);
XBT_PUBLIC(size_t) simcall_file_read(size_t size, smx_file_t fd);
XBT_PUBLIC(size_t) simcall_file_write(size_t size, smx_file_t fd);
XBT_PUBLIC(smx_file_t) simcall_file_open(const char* storage, const char* path);