1 2 3 4 5 6
definition module cache_variable; import compile; store_state :: !*DclCache -> Int; load_state :: Int -> .DclCache;