Regular_paperfolding_sequence loading ...