Add stub code for `Program` data structure.