We should use the constant defined in FSM, but I don't see how it can be retrieved from there.