tree: (DECL int a) int a