Symbol: fprint_who_all