let
new_intermediate_state () = new_state
"aorai_intermediate_state"