{Record file_create file_open file_close file_write file_read_all die } Where Let (file_create name) (Prim file_create name) Let (file_open name) (Prim file_open name) Let (file_close file) (Prim file_close file) Let (file_write file string) (Prim file_write file string) Let (file_read_all file) (Prim file_read_all file) Let (die message) (Prim die message)