void do_nothing(int a) {
  return;
}