Hypercall example