1root_compute_really_bad.rs:4:5: error: Compute kernel root() is required to return a void type 2root_compute_really_bad.rs:4:5: error: Compute kernel root() must have at least one parameter for in or out 3root_compute_really_bad.rs:4:14: error: Unexpected kernel root() parameter 'ain' of type 'int' 4root_compute_really_bad.rs:4:23: error: Unexpected kernel root() parameter 'aout' of type 'int' 5root_compute_really_bad.rs:4:33: error: Unexpected kernel root() parameter 'usrData' of type 'int' 6root_compute_really_bad.rs:4:48: error: Unexpected kernel root() parameter 'x1' of type 'float' 7root_compute_really_bad.rs:4:59: error: Unexpected kernel root() parameter 'y1' of type 'double' 8root_compute_really_bad.rs:5:31: error: Duplicate parameter entry (by position/name): 'x' 9root_compute_really_bad.rs:6:19: error: Unexpected kernel root() parameter 'extra1' of type 'uint32_t' 10root_compute_really_bad.rs:6:36: error: Unexpected kernel root() parameter 'extra2' of type 'uint32_t' 11