let s_int = HString.mk_hstring "Int"