Phonet: global definitions