void switch__INITIALISATION(void) {
switch__POSITION switch__m1,
switch__POSITION switch__m2,
switch__POSITION switch__m3,
switch__POSITION *switch__pos) {
if ((switch__m2 == switch__reverse) || (switch__m3 == switch__reverse)) {
*switch__pos = switch__void;
*switch__pos = switch__normal;
if ((switch__m2 == switch__normal) || (switch__m3 == switch__normal)) {
*switch__pos = switch__void;
*switch__pos = switch__reverse;
if (switch__m3 == switch__reverse) {
*switch__pos = switch__void;
*switch__pos = switch__normal;
if (switch__m3 == switch__normal) {
*switch__pos = switch__void;
*switch__pos = switch__reverse;
*switch__pos = switch__m3;