change type of value for createConstant; getNULLPointer()