Examples updated to malai 1.2