Remove runtime and add halt to rust