write_open_command  565 exec/exec.c      if (write_open_command (buffer, true))
write_open_command 1067 exec/exec.c      if (write_open_command (interpreter_name, false))