64 bit ABI tests