/* Return makes a UPC pointer-to-shared value from an integer.  */

#include <upc.h>

shared int *func ()
{
  return 0x4000;
}