let s_bool = HString.mk_hstring "bool"