#include <stdio.h>

int
__attribute__((noinline))
mod3fn1 (int x)
{
  puts ("in mod3fn1");
  return x + 6;
}

int
mod3fn2 (int x)
{
  puts ("in mod3fn2");
  return mod3fn1 (x / 2) * 2;
}