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

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

char a[ 16 ];
__vm_pointer_t ptr;

void poke( int off, int len, int val )
{
    __dios_trace_f( "poke [%d %d] → %d", off, len, val );
    __vm_poke( _VM_ML_User, ptr.obj, ptr.off + off, len, val );
}

int main()
{
    ptr = __vm_pointer_split( &a );
    poke(  0, 1, 1 );
    poke(  2, 3, 2 );
    poke( 10, 5, 3 );

    __vm_meta_t meta = { 0, 0, 0 };
    int i = 0;

    do {
        int off = meta.offset + meta.length, len = 16 - off;
        meta = __vm_peek( _VM_ML_User, ptr.obj, off, len );
        __dios_trace_f( "%d peek [%d %d] → %d", i, meta.offset, meta.length, meta.value );
        if ( meta.length )
            assert( meta.value == ++ i );
    }
    while ( meta.length );

    assert( i == 3 );

    return 0;
}