let
ty = int_model