units_table = [
  ["mm", 1],
  ["cm", 10],
  ["dm", 100],
  ["m", 1000],
  ["inch", 25.4],
  ["feet", 304.8]
];
module set_unit(desc){
  x_ = search([desc], units_table, num_returns_per_match = 1);
  echo(x_);
  if (x_ == undef) {
	x_ = [0];
  }
  units_table_index = x_[0];
  echo(units_table_index);
  echo("unit", u_desc(), "set to", u());
}