Debug issig2 in Record.v