{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)