# CONFIG_PROFILE_ALL_BRANCHES is not set