Fix the expected results.

 - UPC version string should match UPC 1.3 spec
 - We allow pointer to shared to int cast