Higher-Level-Transpiled #759 Spike