let s_bool = HString.mk_hstring "Bool"