Define final prototypes of program wrapper constructors

Tests updated in conformity and passing