monitor: New argument type 'O'