/**
* Check if given unit is the generic dummy unit.
*/
-int be_machine_is_dummy_unit(be_execution_unit_t *unit);
+int be_machine_is_dummy_unit(const be_execution_unit_t *unit);
/**
* Check if given unit is the generic dummy unit type.
*/
-int be_machine_is_dummy_unit_type(be_execution_unit_type_t *tp);
+int be_machine_is_dummy_unit_type(const be_execution_unit_type_t *tp);
/**
* Get the number of available unit types in the given machine.