Adding Ada test: t+