PhoneNumber: Learned about printf, extracted predicates