modified syntax for HOId.cc class