oilshell.org
WILD / shell / bashdb / init
NOTE: Performed 6306 ASDL_TYPE_CHECKs.
NOTE: Performed 5308 ASDL_TYPE_CHECKs.
NOTE: Performed 6256 ASDL_TYPE_CHECKs.
NOTE: Performed 16876 ASDL_TYPE_CHECKs.
NOTE: Performed 7817 ASDL_TYPE_CHECKs.