Massive dump of partial program skeleton.
Massive dump of partial program skeleton.

This skeleton supports context generation (through roles), but no other
custom generated code.

yliu120/K3,DaMSL/K3,DaMSL/K3