4 ms·

Well then you'll need double-returning, which isn't generally available. One could use longjmp I suppose.