Branch optimisation in both C (giving hints to gcc - verified using -fprofile-arcs...