Format prodcons.adb