Rubberducker
121
reputation
3
function return_random_int() { return 42; //magic happens here! }