let print_state = State.pretty