record-type-identifier
vonuvoli
procedure;
procedure
vs:records
(vonuvoli records)
vs:base
(vonuvoli base)