Symbol: decl_addary