s/writeModule/writeBitcodeToFile/