/* used by mcount */