__inline__ __attribute__ ((always_inline)) int f()
{
  return 2;
}