(module Atomic_edit)