The text 9c6052c015a3, as Debian 7 (Wheezy) shipped it.
Set the current state of a WiMAX device
wimax_state_change(9) on Linux now
