add pointer_cast