Symbol: MAX_TEST_INSNS