TET_OUTPUT_CAPTURE=False
TET_EXEC_IN_PLACE=True

# highest signal number plus 1
TET_NSIG=22