implementation module StdDynamic