#1 is not strictly true, although it's not necessarily useful yet: https://github.com/japaric/nvptx#nvptx