This is a updated version to reflect the change in return value of
to_download_tracepoint_loc in patch 1/8.

-- 
Yao (齐尧)