Add support for input pointers, which are assumed to point to valid memory