let e_band   = binop TERM.I_band