Alloy BuiltIn : Strings Added