(JVM::MONITORNOTIFYX
 (1 1 (:TYPE-PRESCRIPTION JVM::REMOVECONDVARWAIT))
 )
(JVM::CLASSMONITORNOTIFYX)
(JVM::MONITOREXITX)
(JVM::CLASSMONITOREXITX)
(JVM::MONITORENTERX)
(JVM::CLASSMONITORENTERX)
(JVM::MONITORWAIT1X)
(JVM::MONITORWAITX)
(JVM::CLASSMONITORWAITX)
