src/constant/abstraction/memory
