Turbo Dump  Version 6.6.1.0 Copyright (c) 1988-2020 Embarcadero Technologies, Inc.
                    Display of File kissat.dll

Old Executable Header

DOS File Size                                      6B200h  (438784. )
Load Image Size                                      450h  (  1104. )
Relocation Table entry count                          0000h  (     0. )
Relocation Table address                              0040h  (    64. )
Size of header record      (in paragraphs)            0004h  (     4. )
Minimum Memory Requirement (in paragraphs)            0000h  (     0. )
Maximum Memory Requirement (in paragraphs)            FFFFh  ( 65535. )
File load checksum                                    0000h  (     0. )
Overlay Number                                        0000h  (     0. )

Initial Stack Segment  (SS:SP)			  0000:00B8
Program Entry Point    (CS:IP)			  0000:0000


Portable Executable (PE) File

Header base: 00000108

CPU type                 AMD64
Flags                    2022 [ executable linenumbers symbols largeaddr backwards library ]
DLL flags                0160 [ DynamicBase NXCompat ]
Linker Version           E.1D
Time stamp               6093D673 : Thu May  6 13:43:47 2021
O/S Version              6.0
User Version             0.0
Subsystem Version        6.0
Subsystem                0003 [ Windows character ]
Object count             00000007
Symbols offset           00000000
Symbols count            00000000
Optional header size     00F0
Magic #                  20B
Code size                0004E800
Init Data size           0001DA00
Uninit Data size         00000000
Entry RVA                0002AF10
Image base               0000000180000000
Code base                00001000
Object/File align        00001000/00000200
Reserved                 00000000
Image size               00070000
Header size              00000400
Checksum                 00000000
Stack reserve/commit     0000000000100000/0000000000001000
Heap reserve/commit      0000000000100000/0000000000001000
Number interesting RVAs  00000010
Name                   RVA       Size  
------------------  --------  --------
Exports             00066180  0000028C
Imports             0006640C  00000028
Resources           0006E000  000001E0
Exceptions          00069000  00003F6C
Security            00000000  00000000
Fixups              0006F000  000008B0
Debug               0005E240  0000001C
Description         00000000  00000000
Global Ptr          00000000  00000000
TLS                 00000000  00000000
Callbacks           0005E260  00000138
Bound Imports       00000000  00000000
Import Addr Table   00050000  00000258
Delayed Imports     00000000  00000000
COM Runtime         00000000  00000000
reserved            00000000  00000000

Object table:
#   Name              VirtSize    RVA     PhysSize  Phys off  Flags   
--  --------          --------  --------  --------  --------  --------
01  .text             0004E746  00001000  0004E800  00000400  60000020 [CER]
02  .rdata            00016BFC  00050000  00016C00  0004EC00  40000040 [IR]
03  .data             00001F60  00067000  00000C00  00065800  C0000040 [IRW]
04  .pdata            00003F6C  00069000  00004000  00066400  40000040 [IR]
05  _RDATA            000000FC  0006D000  00000200  0006A400  40000040 [IR]
06  .rsrc             000001E0  0006E000  00000200  0006A600  40000040 [IR]
07  .reloc            000008B0  0006F000  00000A00  0006A800  42000040 [DIR]

Key to section flags:
  C - contains code
  D - discardable
  E - executable
  I - contains initialized data
  R - readable
  W - writeable

******************************************************************************
Section:             Import
File Offset:         0004EC00 (322560)
  ImportLookUpTblRVA:00066438
  Time Stamp:        00000000
  Forwarder Chain:   00000000 (index of first forwarder reference)

Imports from KERNEL32.dll
    (hint = 0220) GetCurrentProcess
    (hint = 02DC) GetStdHandle
    (hint = 0205) GetConsoleMode
    (hint = 03AF) K32GetProcessMemoryInfo
    (hint = 02ED) GetSystemInfo
    (hint = 02C8) GetProcessTimes
    (hint = 0452) QueryPerformanceCounter
    (hint = 0221) GetCurrentProcessId
    (hint = 0225) GetCurrentThreadId
    (hint = 02F3) GetSystemTimeAsFileTime
    (hint = 036F) InitializeSListHead
    (hint = 04D5) RtlCaptureContext
    (hint = 04DC) RtlLookupFunctionEntry
    (hint = 04E3) RtlVirtualUnwind
    (hint = 0385) IsDebuggerPresent
    (hint = 05C0) UnhandledExceptionFilter
    (hint = 057F) SetUnhandledExceptionFilter
    (hint = 02DA) GetStartupInfoW
    (hint = 038C) IsProcessorFeaturePresent
    (hint = 0281) GetModuleHandleW
    (hint = 04E2) RtlUnwindEx
    (hint = 0373) InterlockedFlushSList
    (hint = 026A) GetLastError
    (hint = 0541) SetLastError
    (hint = 0138) EnterCriticalSection
    (hint = 03C4) LeaveCriticalSection
    (hint = 0114) DeleteCriticalSection
    (hint = 036B) InitializeCriticalSectionAndSpinCount
    (hint = 05B0) TlsAlloc
    (hint = 05B2) TlsGetValue
    (hint = 05B3) TlsSetValue
    (hint = 05B1) TlsFree
    (hint = 01B4) FreeLibrary
    (hint = 02B8) GetProcAddress
    (hint = 03CA) LoadLibraryExW
    (hint = 0468) RaiseException
    (hint = 00CE) CreateFileW
    (hint = 0258) GetFileType
    (hint = 0089) CloseHandle
    (hint = 0167) ExitProcess
    (hint = 059E) TerminateProcess
    (hint = 0280) GetModuleHandleExW
    (hint = 027D) GetModuleFileNameW
    (hint = 0351) HeapAlloc
    (hint = 0358) HeapReAlloc
    (hint = 0355) HeapFree
    (hint = 03B8) LCMapStringW
    (hint = 01A8) FlushFileBuffers
    (hint = 0625) WriteFile
    (hint = 0209) GetConsoleOutputCP
    (hint = 0256) GetFileSizeEx
    (hint = 0533) SetFilePointerEx
    (hint = 03F6) MultiByteToWideChar
    (hint = 055B) SetStdHandle
    (hint = 017E) FindClose
    (hint = 0184) FindFirstFileExW
    (hint = 0195) FindNextFileW
    (hint = 0392) IsValidCodePage
    (hint = 01BB) GetACP
    (hint = 02A1) GetOEMCP
    (hint = 01CA) GetCPInfo
    (hint = 01DF) GetCommandLineA
    (hint = 01E0) GetCommandLineW
    (hint = 0611) WideCharToMultiByte
    (hint = 0241) GetEnvironmentStringsW
    (hint = 01B3) FreeEnvironmentStringsW
    (hint = 02BE) GetProcessHeap
    (hint = 0479) ReadFile
    (hint = 0476) ReadConsoleW
    (hint = 02E1) GetStringTypeW
    (hint = 035A) HeapSize
    (hint = 0624) WriteConsoleW
    (hint = 0520) SetEndOfFile
    (hint = 04E1) RtlUnwind

******************************************************************************
Section:             Exports
File Offset:         0004EC00 (322560)
  Flags:             00000000
  Time Stamp:        FFFFFFFF : Thu Jan  1 00:59:59 1970
  Major Version:     0000
  Minor Version:     0000

Exports from kissat.dll
  22 exported name(s), 22 export addresse(s).  Ordinal base is 1.
  Sorted by Name:
    RVA      Ord. Hint Name
    -------- ---- ---- ----
    0000CFB0    1 0000 kissat_add
    0004D270    2 0001 kissat_banner
    0004D3F8    3 0002 kissat_build
    0004D578    4 0003 kissat_compiler
    00043918    5 0004 kissat_copyright
    0004E234    6 0005 kissat_get_option
    0004D6C4    7 0006 kissat_has_configuration
    0004D5A4    8 0007 kissat_id
    000134F0    9 0008 kissat_init
    000145F8   10 0009 kissat_print_statistics
    0001A74C   11 000A kissat_release
    0004E360   12 000B kissat_reserve
    0004D738   13 000C kissat_set_configuration
    0004E498   14 000D kissat_set_conflict_limit
    0004E530   15 000E kissat_set_decision_limit
    00029D54   16 000F kissat_set_option
    0004E5C8   17 0010 kissat_set_terminate
    0004D5AC   18 0011 kissat_signature
    0002A618   19 0012 kissat_solve
    0004E5DC   20 0013 kissat_terminate
    000264BC   21 0014 kissat_value
    0004D5B4   22 0015 kissat_version

******************************************************************************
Section:             Resources
File Offset:         0006A600 (435712)
  Flags:             00000000
  Time Stamp:        00000000
  Major Version:     0000
  Minor Version:     0000

Resources:
Type          Name                   Lang Id
--------------------------------------------
[0 named entries, 1 ID entries]
type: Manifest (24)  (next directory @00000018)

              [0 named entries, 1 ID entries]
              type: Bitmap (2)  (next directory @00000030)

                                     [0 named entries, 1 ID entries]
                                     type: Unknown (1033)  (data @00000048)
                                         Offset:    0006E060
                                         Size:      0000017D
                                         Code Page: 00000000
                                         Reserved:  00000000



