
void take(owned uint8[] ar, size_t filled) {
    stdout.printf("take ar.length=%lu filled=%lu\n", ar.length, filled);
}

void main() {
    uint8[]? ar = new uint8[1024];
    take((owned) ar, ar.length);
}

