[3.12.10_tlduck2+copy]