another script for dotty tests