wrapped memo calls in assert