public-domain GPL-2
