/* Empty file, we don't use unlocked i/o here.  */