Vero code for Alex's test6