Pour mettre tout le monde d'accord, on pourrait imaginer une fonction système pour activer la vérification et l'allocation effective. Elle serait appelée par le programme en début d'exécution. Par défaut, on garde la "feature", pour les programmes qui réservent abusivement (ça peut se comprendre, ça facilite la gestion de leur espace en la délégant au système).