printing pointer dereference from C: 42