top_command (cmd_load currentFile []) IOTCM currentFile None Indirect (Cmd_give 0 (Range [Interval (Pn Nothing 192 10 10) (Pn Nothing 204 10 22)]) "Σ[ x ∈ ⊤ ] ?")