Vero code for Alex's test4