Symbol: badp_decl