Huh, the manpage doesn't say that. Also, both say unlocked is zero, so default initialization should be okay.