src/counter.c
void dec() {
  receive_empty();
  mp_okay_or_trap(mp_decr(N));
  send_empty();
}
/**
 * Decrement the value of the counter.
 */
Decrement the value of the counter.
Decrement the value of the counter .
void dec() {
  receive_empty();
  mp_okay_or_trap(mp_decr(N));
  send_empty();
}
void dec ( ) { receive_empty ( ) ; mp_okay_or_trap ( mp_decr ( N ) ) ; send_empty ( ) ; }
Decrement the value of the counter.
Decrement the value of the counter .