touch_command
result = touch_command(line, target, result);
static Doname touch_command(Property line, Name target, Doname result);