This makes a lot more sense in C land, where we can then #include this tiny file in front of all DEFCONV declarations.