(module Emitter.Usable_emitter)