definition module set_return_code

set_return_code_world	:: !Int !*World -> *World