./runtest.py futex1 25 both 1 8 16 24 32