Section Header
    + name := FIFO_COP;
    - comment :="FIFO call for COP.";
    - external :=
`pthread_mutex_t fifo_mutex;`;
Section Inherit
    - parent_object:OBJECT :=
Section Public
Stat.
    - is_empty:BOOLEAN <-
Push.
    - add verrou:INTEGER_32 <-
Pop.
    - next <-