Symbol: dt3k_ns_to_timer