let help_i = " show local references by index" in
let help_m = "<file> output intermediate representation" in
let help_s = "<number> Set translation stage" in
let help_i = " show local references by index" in
let help_m = "<file> output intermediate representation" in
let help_s = "<number> Set translation stage" in