Got the confirmation that SimpleRNG is actually public domain.