FSM_WRITE in MemCtl seems to be correct