tp2 -> declarations