add .mli, convert a few char ptr to string
parse arguments to a vpi task