Pinocchio's annotated source