in libdft_api.cpp, I think "int ins_clr_post(syscall_desc_t *desc)" should be "int ins_clr_post(**ins_desc_t** *desc)"
in libdft_api.cpp,
I think "int ins_clr_post(syscall_desc_t *desc)" should be "int ins_clr_post(ins_desc_t *desc)"