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