function runTestCase(testcase) {
if (testcase() !== true) {
$ERROR("Test case returned non-true value!");
}