int test_main(int, char*[]) { release_test(); swap_test(); move_test(); return 0; }
void WT_UfeTerminateOnError (WUFE_status handle, WP_CHAR * s, WP_U32 id, WP_U32 LineNum) { if (status != WUFE_OK) { printf ("UFE Error %s %s\n", WUFE_error_name[(status & 0x03ffffff)], s); release_test (); } }