18 years of toil, a lot of help from the compiler, and a small but rare personal distinction