Handling arrays of PCodes