Guarding RVM against programs that do not finish