public static extern void TFE_OpSetDevice(TFE_Op op, string device_name, IntPtr status);
public static extern void TFE_OpSetDevice(TFE_Op op, string device_name, SafeStatusHandle status);