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