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