external to_state_attribute : t -> State_attribute.t = "program_to_state_attribute"