array_size: relicense under public domain.