sub foo # requires interfaces IntA, IntB
{
  my ($self) = @_;
  IntA::validate($self);
  IntB::validate($self);
}