also consider memory allocations to be "operations" on the isl_ctx