Symbol: wbt_get_min_lat