xv6 lab01 ex04 note for pointers.c