path: root/main/Windows/set_return_code.dcl

definition module set_return_code;

:: *UniqueWorld :== World;
set_return_code :: !Int !UniqueWorld -> UniqueWorld;
// void set_return_code (int return_code);