interface vcd_widget {
	int send_asr_result(in int pid, in int event, string asr_result, out bool is_consumed);
}