[jhc] Problem with parsec -- program does not terminate.