append_save [interpreter] [io]
Input checking: