Bvt
Defined symbol.
Type:
pr
Arguments:
(sv),
(st),
(sv), 
(st), (sv), (st),