ada_calyx‘s Following are private.