syntax & bug fixing
modified monitor_t interface