// TODO: encoding.txt init