add 4ti2 examples