f(C@2e) apply writeReplace g(C@2e)