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