don't redefine NO_CALLS_OBSERVED - fixes #6