# CONFIG_PROFILE_ANNOTATED_BRANCHES is not set