# CONFIG_OPTIMIZE_INLINING is not set