short_types: relicense to public domain.