parser -> checker