implement the choice of mode in manticore