\
" --disable-uncaught-exception-check" \
" ignore uncaught exceptions and errors\n" \
" --throw-assertion-error throw java.lang.AssertionError on violated\n" \
" assert statements instead of failing\n" \
" at the location of the assert statement\n" \
" --java-assume-inputs-non-null never initialize reference-typed parameter to the\n" \
" entry point with null\n" \
" --java-throw-runtime-exceptions make implicit runtime exceptions explicit\n" \
" --java-max-input-array-length N limit input array size to <= N\n" \
" --java-max-input-tree-depth N object references are (deterministically) set to null in\n" \
" the object\n" \
" --java-max-vla-length limit the length of user-code-created arrays\n" \
" --java-cp-include-files regexp or JSON list of files to load (with '@' prefix)\n" \
" --lazy-methods only translate methods that appear to be reachable from\n" \
" the --function entry point or main class\n" \
" Note --show-symbol-table/goto-functions/properties output\n" \
" will be restricted to loaded methods in this case\n" \
" --lazy-methods-extra-entry-point METHODNAME\n" \
" treat METHODNAME as a possible program entry point for\n" \
" the purpose of lazy method loading\n" \
" A '.*' wildcard is allowed to specify all class members\n"