Problem
1. Consider the module of and assume that the operations NOT_FULL and NOT_EMPTY are exported by the module. Would the exported operations in provide any useful abstraction when they are called by the module's clients? Why? Why not?
2. What difficulties may be encountered if a monitor operation is allowed to use another monitor operation (perhaps even exported by the same monitor)?