not use hats. because header file
not use sats too...
typo fix
add command line options
enable compile-only. is checked from .dats to .c translate