./runtest.py brk1 32 1 8 12 16