classFromCgState :: CgState -> ClassFile
classFromCgState CgState {..} =
  mkClassFile java7 cgAccessFlags cgClassName cgSuperClassName []
    cgFieldDefs cgMethodDefs
classFromCgState :: CgState -> ClassFile
classFromCgState CgState {..} =
  mkClassFile java7 cgAccessFlags cgClassName cgSuperClassName []
    cgFieldDefs cgMethodDefs
classFromCgState CgState {..} =
  mkClassFile java7 cgAccessFlags cgClassName cgSuperClassName []
    cgFieldDefs cgMethodDefs