#include <stdio.h>

void foo(void) {
  printf("mod1b:foo() called.\n");
}