Ffi extend api#55

o1lo01ol1o wants to merge 1 commit intoHigherOrderCO:mainHigherOrderCO/HVM4:mainfrom

o1lo01ol1o:ffi-extend-apio1lo01ol1o/HVM4:ffi-extend-apiCopy head branch name to clipboard