(module Cbuffer)