Working ABI test for 64 bit.