sophia: put version test into ctl.test.c