Procedure buffer-substring is a C function defined in [dezyne.cc:1313]