// TODO: add a eiffelvis_gen stream