+/*----- Left-to right-scanning --------------------------------------------*/
+
+/* --- @mpscan_rinitx@ --- *
+ *
+ * Arguments: @mpscan *m@ = pointer to bitscanner structure
+ * @const mpw *v, *vl@ = vector of words to scan
+ *
+ * Returns: ---
+ *
+ * Use: Initializes a reverse bitscanner from a low-level
+ * vector-and-length representation of an integer. Initially no
+ * bit is ready; you must call @mpscan_rstep@ before anything
+ * useful will come out.
+ */
+
+#define MPSCAN_RINITX(m_, v_, vl_) do { \
+ mpscan *_m = (m_); \
+ _m->v = (v_); \
+ _m->vl = (vl_); \
+ while (_m->vl > _m->v && !_m->vl[-1]) \
+ _m->vl--; \
+ _m->bits = 0; \
+} while (0)
+
+extern void mpscan_rinitx(mpscan */*m*/,
+ const mpw */*v*/, const mpw */*vl*/);
+
+/* --- @mpscan_rstep@ --- *
+ *
+ * Arguments: @mpscan *m@ = pointer to bitscanner
+ *
+ * Returns: Nonzero if there is another bit to read.
+ *
+ * Use: Steps on to the next bit in the integer. The macro version
+ * evaluates its argument multiple times.
+ */
+
+#define MPSCAN_RSTEP(m) \
+ ((m)->bits ? ((m)->w <<= 1, (m)->bits--, 1) : \
+ (m)->vl > (m)->v ? ((m)->w = *--(m)->vl, \
+ (m)->bits = MPW_BITS - 1, 1) : \
+ 0)
+
+extern int mpscan_rstep(mpscan */*m*/);
+
+/* --- @mpscan_rbit@ --- *
+ *
+ * Arguments: @const mpscan *m@ = pointer to bitscanner
+ *
+ * Returns: The value of the current bit.
+ *
+ * Use: Reads the value of the current bit looked at by a
+ * reverse bitscanner.
+ */
+
+#define MPSCAN_RBIT(m) (((m)->w >> (MPW_BITS - 1)) & 1)
+
+extern int mpscan_rbit(const mpscan */*m*/);
+