host: x86_64 Linux 4.9.0-11-amd64
gcc version 6.3.0 20170516 (Debian 6.3.0-18+deb9u1) 
