A enforcement of memory allocation that ensures:

  • All variables