#!/bin/sh
nrc se
v7ed "$@"
nrc
.