symbolic-syntax: make-null -> pointer-make-null

symbolic-syntax: make-null -> pointer-make-null #664