Symbol: badp_seen_decl