Fixed by revision rev#72284
(this needs to recompile the runtime, and ecdbgd, and relink your ec+application, if ever you want to try)

Thank you for your report.