in debugging phase