ex_read.spc

This is an example of how to use the read function.

task main()
{
  open("r");
  int x = read();
  printf("x = %d\n", x);
  close();
}