The operating system maintains a ______ table that keeps track of how many frames have been allocated, how many are there, and how many are available.