/**
@dir /lib/defs
@brief lib/defs: Lowest-level constants, used in many places.
**/