csubst0_gen_sort csubst0_gen_head csubst0_getl_ge csubst0_getl_lt
csubst0_gen_S_bind_2 csubst0_getl_ge_back csubst0_getl_lt_back
csubst0_snd_bind csubst0_fst_bind csubst0_both_bind
csubst0_gen_sort csubst0_gen_head csubst0_getl_ge csubst0_getl_lt
csubst0_gen_S_bind_2 csubst0_getl_ge_back csubst0_getl_lt_back
csubst0_snd_bind csubst0_fst_bind csubst0_both_bind