Make these methods in VoltDB, not extensions