part of checkRep and makefile