Library inquiry: Accept a library ID, display all books and their copy status 2. **LIBCHK01** — Book checkout: Accept a member ID and book ISBN, create a CHECKOUT record, update COPY status to 'O' 3. **LIBRPT01** — Overdue report: Scan all CHECKOUT records, list those where CHK-DUE-DATE < today