Refactor: Input arguments are const
Refactor: Combine enum big_while_loop_result into enum main_state