use int constraints for swift_proxy