debugging gauss3