TYPE __ghdl_index_type IS UNSIGNED (32);

PUBLIC FUNCTION main (a : __ghdl_index_type) RETURN __ghdl_index_type
DECLARE
BEGIN
  RETURN a +# 1;
END;