/*
 * test_idle_controller.c
 *
 *  Created on: Oct 17, 2013
 *      Author: Andrey
 */

#include <stdio.h>

void idleDebug(char *msg, int value) {
	printf("%s\r\n", msg);
}