/* Public domain. */