Miscellaneous Commands SAVE_STATUS ’status_name’ ;RESTORE_STATUS ’status_name’ ; CHOOSE number ;RANDOM_SOLUTION ;