phone number encoding example with BDD n TDD, draft version