xen-42 Update numbers