template <typename A1> void monk2 (A1) {} unsigned int strlen (const char*); void monk () { monk2 (strlen ("")); }