node ring_buffer<>(e : int; w, r : bool) returns (o : int)

n : Taille du buffer

e : L’entier à écrire dans le buffer
w : Commande d’écriture
r : Commande de lecture

o : Entier lu par le buffer