{
: fetch_argc
: fetch_arg
: file_create
: file_open
: file_close
: file_write
: file_write_byte
: file_read_all
: die
}

Where

Define (fetch_argc)
    (Prim command_argc {})

Define (fetch_arg i)
    (Prim command_argv i)

Define (file_create name)
    (Prim file_create name)

Define (file_open name)
    (Prim file_open name)

Define (file_close file)
    (Prim file_close file)

Define (file_write file string)
    (Prim file_write file string)

Define (file_write_byte file byte)
    (Prim file_write_byte file byte)

Define (file_read_all file)
    (Prim file_read_all file)

Define (die message)
    (Prim die message)