target triple = "nvptx64-nvidia-nosuchthing"
target datalayout = "e-i64:64-i128:128-v32:32-n16:32:64"