[12-04-2003] A small patch has been released to fix a stored procedure debugger problem with EXECUTE PROCEDURE while debugging. You can download the patch here (45Kb).
EXECUTE PROCEDURE