bril_memory_extension_constants.py

ALLOC = "alloc"
LOAD = "load"
STORE = "store"
FREE = "free"
PTRADD = "ptradd"

PTR = "ptr"

MEM_OPS = [
    ALLOC, LOAD, STORE, FREE, PTRADD
]