Rubberducker
1,047
reputation
1
14
26
function return_random_int() { return 42; //magic happens here! }