even shorter double-buffer