nullptrtest.c

#include "types.h"
#include "user.h"

int main() {
    char *a;
    a = 0;
    printf(1, "%x", a[0]);
}