.
magic red vmci