used in maketestcase.c