Only memory restrict evaluation, not compilation