Do we want to define this in the headers, or in the C files?