/* * (un) is assumed to be locked on entry and remains * locked on exit. */