type
  DefinedInB* = int