add ptx generator (that doesn't work.)