Add int* support - this will require the addition of type checking! Refer to type checking semantics.