{{Stub}}{{language|Eiffel
|strength=strong
|safety=safe
|compat=nominative
|checking=static
|gc=yes
|LCT=yes}}