# CONFIG_POSIX_AUX_CLOCKS is not set
