salimma pushed to ocaml-atd (f34). "Initial import (..more)"