REQUIRES: x86_64-linux
RUN: sancov -obj %p/Inputs/test-linux_x86_64 -print %p/Inputs/test-linux_x86_64.sancov | FileCheck %s

CHECK: 0x4dbe2b
CHECK: 0x4dbf72
CHECK: 0x4dbfec
CHECK: 0x4dc033
CHECK: 0x4dc06a
CHECK: 0x4dc09d
CHECK: 0x4dc0d0