| "system-match" -> EE.add_matching ()
| "system-select" -> EE.select_entry (EU.pointer_of_string arg)
| "system-save" -> EE.write_status ()
| "system-match" -> EE.add_matching ()
| "system-select" -> EE.select_entry (EU.pointer_of_string arg)
| "system-save" -> EE.write_status ()