Unicode identifiers in example script