using Liberty Eiffel's revamped TEMPLATE_INPUT_STREAM API