(module Stdlib__buffer)