executable Version 1 of checkpoint1