Rubberducker
977
reputation
1
14
24
function return_random_int() { return 42; //magic happens here! }