[COFF] Happy birthday, John Mauchly!