definition module set_return_code

set_return_code	:: !Int !*World -> *World