fixed register machine state monad to use labels as values