(module Stdlib__callback)