1(use "errno.witx")
2
3(typename $car_config
4  (flags (@witx repr u8)
5    $automatic
6    $awd
7    $suv))
8
9(module $flags
10  (@interface func (export "configure_car")
11    (param $old_config $car_config)
12    (param $old_config_by_ptr (@witx const_pointer $car_config))
13    (result $error (expected $car_config (error $errno)))
14  )
15)
16