Use state record inside ehmon module instead of tuple.