pointer for POPL'13 variant of the tutorial