let inject_top_origin o t =
    C_init_noesc (V.inject_top_origin o t)