x86_64: Check.so
