reorder_args_to_keep_linker_happy
