#include <stdio.h>
#include "dbg.h"


int main(int argc, char *argv[])
{
    printf("Reading from stdin: <a:number> <b:number> <c:letter>\n");
    int a, b, rc;
    char c;
    rc = fscanf(stdin, "%d %d %c", &a, &b, &c);
    check(rc == 3, "Failed to read from stdin.");

    printf("Read in: a=%d b=%d c=%c\n", a, b, c);

    return 0;

error:
    return 1;
}