k-int/ECKDefinition not found