Add ex12 and ex12, plus a mod to 5.8/pgm