setinputfile
void setinputfile(const char *, int, int);
setinputfile(name, 1, verify);
setinputfile(fullname, 1, -1 /* verify */);
setinputfile(scriptname, 0, -1 /* verify */);