docstr: Write the C source code.  It is produced in 'self.sourcefilename',
  which can be tweaked beforehand.
docstr_tok: ["Write","the","C","source","code",".","It","is","produced","in","'self.sourcefilename","'",",","which","can","be","tweaked","beforehand","."]
code: def write_source(self, file=None):
      """Write the C source code.  It is produced in 'self.sourcefilename',
      which can be tweaked beforehand."""
      with self.ffi._lock:
          if self._has_source and file is None:
              raise VerificationError("source code already written")
          self._write_source(file)
  
imports: import sys, os, binascii, shutil, io
  from .None import __version_verifier_modules__
  from .None import ffiplatform
  from .error import VerificationError
label_desc: Use image node_id 2 for calling the Verifier obj's underlying member method code with example usage: obj.write_source(file) without return types