let
top_int = inject
K
.null
V
.top