public static extern int WriteBitcodeToFile(Intptr modRef, string path);
public static extern int WriteBitcodeToFile(Intptr modRef, string path);
public static extern int WriteBitcodeToFile(Intptr modRef, string path);
public static extern int WriteBitcodeToFile(Intptr modRef, string path);