implementation module StdDynamic

from StdReal import entier; // RWS marker