Older version of Pinocchio catshark