1REQUIRES: x86-registered-target && host-byteorder-little-endian
2RUN: sancov -print %p/Inputs/test-linux_x86_64.0.sancov | FileCheck %s
3
4CHECK: 0x4e132b
5CHECK: 0x4e1472
6CHECK: 0x4e1520
7CHECK: 0x4e1553
8CHECK: 0x4e1586
9
10