let top_int = inject K.null V.top