Change #state record name to #st