type __ghdl_index_type is unsigned (32);

type __ghdl_char is unsigned (8);

type __ghdl_chararray is array [__ghdl_index_type] of __ghdl_char;

type __ghdl_char_ptr is access __ghdl_chararray;

type __ghdl_char_ptr_array is array [__ghdl_index_type] of __ghdl_char_ptr;

type __ghdl_str_len is record 
  len: __ghdl_index_type; 
  str: __ghdl_char_ptr; 
end record;

public var var1 : __ghdl_str_len;

public function get_len () return __ghdl_index_type
declare
begin
  return var1.len;
end;