spacrv9cap.c: addenum to recent EC optimizations.