
/**
 * This interface defines an operation, one of whose
 * arguments is of an unknown type. 
 * RESULT: Jacorb compiler correctly finds this error. 
 */
interface Paul {
  void foo( in long arg1, in ::No::Such::Thing arg2 );
};