rule30_rev_loop works