; RUN: opt < %s
; XFAIL: * 

target datalayout = "p:4294967296:64:64"