-record(check, {expr :: binary(), pos :: integer()}).