/* This marks a buffer as write-only (otherwise read-only). */