Definition and specification of a simple buffer