List<int> asIntArray() { if (this is IntArrayTag) { return (this as IntArrayTag).value; } else { return []; } }