some debugging extensions