procedure UNLOCK(FILE : in FILE_TYPE);

    Operates on a file of any mode. After this operation, the current
    element is undefined.