"Would you like to restart the game from the beginning, restore a saved
    game position, or end this session of the game?|
    (Type RESTART, RESTORE, or QUIT):|
    >">
             <READ ,P-INBUF ,P-LEXV>
             <SET WRD <GET ,P-LEXV 1>>
             <COND (<EQUAL? .WRD ,W?RESTART>
                <RESTART>
                <TELL "Failed." CR>)
                   (<EQUAL? .WRD ,W?RESTORE>
                <COND (<RESTORE>
                       <TELL "Ok." CR>)
                      (T
                       <TELL "Failed." CR>)>)
                   (<EQUAL? .WRD ,W?QUIT ,W?Q>
    <QUIT>)>>>

- Switch statement on WRD

- Case RESTART: Write Failed and restart

- Case RESTORE: Write Ok and continue

- Case QUIT: Write Failed and exit

There's no (known) compiler that still exists that can compile ZIL into Z-code.

edit: except for zilf, as mentioned, but it's not functional for even zork 1.