Modifies class RegFile and adds class RegFileBuf.