various methods, including decl pda parsing