OpenMuratella17nov13 pinocchio 3