Added code to verify that llvm.readio's pointer argument returns something