derivation-ok-restriction-4-1-err_0_0 0 B