Updatable VM

(To be filled)