[PATCH 4/5] riched20: Use para_in_table() instead of IsInTable().