FIX: Use 64-bit