type __ghdl_size_type is unsigned (32);

type __ghdl_index_type is unsigned (32);

type __ghdl_integer is signed (32);

public var gbl : __ghdl_integer;