docstr: Write the C source code (if not done already) and compile it.
  This produces a dynamic link library in 'self.modulefilename'.
docstr_tok: ["Write","the","C","source","code","(","if","not","done","already",")","and","compile","it",".","This","produces","a","dynamic","link","library","in","'self.modulefilename","'","."]
code: def compile_module(self):
      """Write the C source code (if not done already) and compile it.
      This produces a dynamic link library in 'self.modulefilename'."""
      with self.ffi._lock:
          if self._has_module:
              raise VerificationError("module already compiled")
          if not self._has_source:
              self._write_source()
          self._compile_module()
  
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 3 for calling the Verifier obj's underlying member method code with example usage: obj.compile_module() without return types