struct foo {} f;
typedef unsigned int size_t;
void *operator new( size_t, foo );

template <unsigned int> struct helper {}; 
template <class T> static void check( helper< sizeof( new(f) T(0) ) > * ); 

int main() 
{ 
  check<int>(0); 
}