preliminary support for getelementptr