Issue #9: Implemented vector conversions in the instruction-set based VAST exporter