Flow analysis says `prefix` can not be `null`.