ddb_init
ddb_init(0, NULL, NULL);
ddb_init(0, NULL, NULL);
ddb_init(0, NULL, NULL);
ddb_init(0, NULL, NULL);
ddb_init(0, NULL, NULL);
ddb_init(0, NULL, NULL);
ddb_init(0, NULL, NULL);
void ddb_init(int, void *, void *);
ddb_init(sz, elf, (char *)elf + sz);