-| fcla_isid: â\88\80f. ð\9d\90\88â¦\83fâ¦\84 → fcla f 0
-| fcla_push: â\88\80f,n. fcla f n â\86\92 fcla (â\86\91f) n
-| fcla_next: â\88\80f,n. fcla f n â\86\92 fcla (⫯f) (⫯n)
+| fcla_isid: â\88\80f. ð\9d\90\88â\9dªfâ\9d« → fcla f 0
+| fcla_push: â\88\80f,n. fcla f n â\86\92 fcla (⫯f) n
+| fcla_next: â\88\80f,n. fcla f n â\86\92 fcla (â\86\91f) (â\86\91n)