modified server_VM.k