core: MachineIndex can have extra data attached to it