/** dummy unittest to test the unittesting system */
int test_dummy (int argc, char** argv)
{
    // Always succeed
    return 0;
}