Public domain code is GPL compatible