src/counter.c
void inc() {
  receive_empty();
  mp_okay_or_trap(mp_incr(N));
  send_empty();
}
/**
 * Increment the value of the counter.
 */
Increment the value of the counter.
Increment the value of the counter .
void inc() {
  receive_empty();
  mp_okay_or_trap(mp_incr(N));
  send_empty();
}
void inc ( ) { receive_empty ( ) ; mp_okay_or_trap ( mp_incr ( N ) ) ; send_empty ( ) ; }
Increment the value of the counter.
Increment the value of the counter .