mutable
rhs = (r:hlpsl_state)