mutable
lhs = (l:hlpsl_state)