top_command (cmd_load currentFile [])
-- Need actual ranges here for 'literal give' to kick in.
IOTCM currentFile None Indirect (Cmd_give WithoutForce 0 (intervalsToRange Nothing [Interval (Pn () 1 2 3) (Pn () 1 2 3)]) "pre λ x → x")
IOTCM currentFile None Indirect (Cmd_give WithoutForce 1 (intervalsToRange Nothing [Interval (Pn () 1 2 3) (Pn () 1 2 3)]) "pre (λ x → x)")
IOTCM currentFile None Indirect (Cmd_give WithoutForce 2 (intervalsToRange Nothing [Interval (Pn () 1 2 3) (Pn () 1 2 3)]) "pre! λ x → x")
IOTCM currentFile None Indirect (Cmd_give WithoutForce 3 (intervalsToRange Nothing [Interval (Pn () 1 2 3) (Pn () 1 2 3)]) "pre! (λ x → x)")
IOTCM currentFile None Indirect (Cmd_give WithoutForce 4 (intervalsToRange Nothing [Interval (Pn () 1 2 3) (Pn () 1 2 3)]) "e >>= λ x → x")
IOTCM currentFile None Indirect (Cmd_give WithoutForce 5 (intervalsToRange Nothing [Interval (Pn () 1 2 3) (Pn () 1 2 3)]) "e >>= (λ x → x)")
IOTCM currentFile None Indirect (Cmd_give WithoutForce 6 (intervalsToRange Nothing [Interval (Pn () 1 2 3) (Pn () 1 2 3)]) "λ x → x")
IOTCM currentFile None Indirect (Cmd_give WithoutForce 7 (intervalsToRange Nothing [Interval (Pn () 1 2 3) (Pn () 1 2 3)]) "λ x → x")
IOTCM currentFile None Indirect (Cmd_give WithoutForce 8 (intervalsToRange Nothing [Interval (Pn () 1 2 3) (Pn () 1 2 3)]) "λ x → x")
IOTCM currentFile None Indirect (Cmd_give WithoutForce 9 (intervalsToRange Nothing [Interval (Pn () 1 2 3) (Pn () 1 2 3)]) "λ x → x")
IOTCM currentFile None Indirect (Cmd_give WithoutForce 10 (intervalsToRange Nothing [Interval (Pn () 1 2 3) (Pn () 1 2 3)]) "pre λ x → x")
IOTCM currentFile None Indirect (Cmd_give WithoutForce 11 (intervalsToRange Nothing [Interval (Pn () 1 2 3) (Pn () 1 2 3)]) "pre! λ x → x")
