Source position: wiilaunch.inc line 31
function WII_LaunchTitleWithArgs(
titleID: cuint64;
launchcode: cint;
par: array of Const
):cint32;