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