The buffer() operator