Here we could add an ``assert(buffer != 0);``