let ty = int_model