extern void inject_ice (void);

void test_inject_ice (void)
{
  inject_ice ();
}