(extern) monitor