module every1: input I; output O; every I do emit O; end every end module