use rpython compatible zip, fixed length tuples