demmt: fix annotations for multi-purpose buffers