* *        CRANGLER 6.11.0 (cbmc-6.11.0-dirty) 64-bit       * *

Usage:                       Purpose:

 crangler [-?] [-h] [--help]  show this help
 crangler file.json ...       configuration file names