Products of Zuzu_lib