#include <stdio.h>
#include <stdlib.h>
int
main (int argc, char *argv[])
{
int i,n,r;
n = i = r = -1;
r = sscanf ("1234:567", "%d%n", &i, &n);
printf ("%d %d %d\n", r, n, i);
if (r != 1 || i != 1234 || n != 4)
abort ();
return 0;
}