//
// This source code is to check the 'Inheritage bug' in xmc.
//
// It won't compile well (at the gcc stage) with xmc versions
// earlier than v0.03 (0722) alpha
//
// (c) 1998, CEU Systems Laboratory
//

@model test {

  @agent A {
  @var: int a;
  }

  @agent B : A {
  @var: int b;
  }

@init:
}