let
load m cobj loc = value_of_logic cobj (term_load m loc)