The specification of the µVM.