nsp and eiffel 65