t0 test: try to work around a timing bug