Checkpoint: getBufPtr seems to compile correctly now.