#! /bin/sh
pageflags=raw
. "$srcdir"/diskdump-basic
exit 0
