C++ implementation: remove JKSNProxy::origin_int