Test zeroc-ice33 and zeroc-ice34 formulas