load mem Sp            = readSTRef (sp mem) >>= \v -> return $ MemoryValue8 v
load mem Sp            = readSTRef (sp mem) >>= \v -> return $ MemoryValue8 v
load mem Sp            = readSTRef (sp mem) >>= \v -> return $ MemoryValue8 v