!7 concept Entry { S in, out; } cmodule RandomDerivations > DynCRUD { }