// This is an empty file used to create a device fatbinary.