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

#include <sys/divm.h>

void __dios_boot()
{
    void *st = __vm_obj_make( 4, _VM_PT_Heap );
    __vm_ctl_set( _VM_CR_State, st );
    __vm_obj_free( st );
}

int main() {}