ERT-81 Removed some unused functions, set_int_option...