some debugging examples