{
    Let file_create. Prim file_create
    Let file_open. Prim file_open
    Let file_close. Prim file_close
    Let file_write. Prim file_write
    Let file_read_all. Prim file_read_all
    Let die. Prim die
}