let
int i = make (
Sy
.int i) []
Ty
.
Tint