meant to be compiled into the test driver