(module Ketrew_error)