Add support for pushing pointers by dereferencing