// Description: A single module. The module defines a record type t with an integer field named x. It also defines a variable x of type t. The init block then uses an inline assertion to assert that x.x is equal to x.x.

module main {
  type t = record {
    x : integer
  };
  var x : t;

  init{
    assert(x.x == x.x);
  }
}
