let s_int = HString.mk_hstring "int"