use shark as first priority execution engine