ExportTable::push() returns the index of the pushed value