Emit-C: A time travelling programming language