Function instrlist_meta_postinsert 

pub unsafe extern "C" fn instrlist_meta_postinsert(
    ilist: *mut instrlist_t,
    where_: *mut instr_t,
    instr: *mut instr_t,
)

Inserts \p instr as a non-application instruction into \p ilist after \p where.