[ assert ] + file has some bytes