__attribute__((always_inline)) void a(){
    print("a"); 
}

void b()
{
  a();
}