remove \hat\dbg()