let get_internal = Analysis.kernel_function