// @Soong generated Source
#![no_std]
extern crate vmbase_dice_clear_memory;
extern crate pvmfw;