write_open_command  633 exec/exec.c      if (write_open_command (buffer, true))
write_open_command 1134 exec/exec.c      if (write_open_command (interpreter_name, false))