jumpy A C-style language with explicit continuations, manual memory management, type erasure and templates