-*- tuareg -*-

Copyright (C) 2017,2018 Yann Régis-Gianas, Nicolas Jeannerod,
Ralf Treinen.

This is free software: you can redistribute it and/or modify it
under the terms of the GNU General Public License, version 3.

Additional terms apply, due to the reproduction of portions of
the POSIX standard. Please refer to the file COPYING for details.