Included testharness and extra-asserts