040720140940: Updated rvm_internal.h.