Change num_of_string to use Choice instead of throwing exceptions