vlaview: (use ports) for with-input-from-string