integrate getting of guid and debug file name to rabin2