gundo; minibufexpl