// S : tags   min c  $TAGS
// S : expect --result valid
// S : cc     -o test.bc  $CC_OPT $file
// S : verify  $V_OPT test.bc

// N : V       : CC_OPT    : V_OPT : TAGS : RESULT
// V : suspend : -DSUSPEND :       :      : valid
// V : default :           :       :      : valid

#include <sys/divm.h>
#include <sys/interrupt.h>
#include <assert.h>

int main()
{
    int a;
    __vm_pointer_t ptr = __vm_pointer_split( &a );
    __vm_poke( _VM_ML_User, ptr.obj, ptr.off, 1, 32 );
#ifdef SUSPEND
    __dios_suspend();
#endif
    __vm_meta_t meta = __vm_peek( _VM_ML_User, ptr.obj, ptr.off, 1 );
    assert( meta.value == 32 );
    return 0;
}