Inline the select_4 function to save 3000 cycles on ec_simul and ~1 usec on desktop