[|
"-q";
if !delaysafer then "-dDELAYSAFER" else "-dSAFER";
"-";
" ";
|]] in
let _ = debugs command;