A green dinosaur in pixel art