You may use nonstandard initializers, i.e., tapes and stacks don't
have to start empty, and counters don't have to start at 0.  However,
the initial states of those devices may not depend on the argument to
the program.