Update ReadNCharactersGivenRead4_2.cc