Autotest in Go - Lifted from the PTA tool