More cases in ex33.ml