#include <sys/divm.h>

extern "C" void use_choice()
{
    __vm_choose( 2 );
}

int main() {}