A Collection of Examples of 64-bit Errors in Real Programs