int debug_getargs(unsigned bufsize, unsigned char *buf);
debug_getargs stores the debugger command line arguments into the memory pointed at by buf up to a maximum of bufsize bytes. The command line is stored as a C argc array of null terminated string and the number of entries is returned as the result.