use probe_event in printf argument