// { dg-do assemble  }

extern void *f(unsigned int k) throw();