--- libaitsched/example/test.c	2012/05/31 14:45:10	1.5.6.1
+++ libaitsched/example/test.c	2012/05/31 21:51:28	1.5.6.2
@@ -24,7 +24,7 @@ void *eventlo(sched_task_t *arg)
 
 void *timer(sched_task_t *arg)
 {
-	printf("Timer %d sec::\n", (int) TASK_ARG(arg));
+	printf("Timer %p sec::\n", TASK_ARG(arg));
 	return NULL;
 }