I would like to see the $strip identifier to start with the char $chr(15) which means any trailing color won't ruin the code.
Code:
//var %strip = 4text | echo -a %strip :: $strip(2text)

That's not a bug because the $strip procedure it to strip the text within the identifier. although I had to add $chr(3) or $chr(15) in the first position. but I would like the identifier to be leaded (starting) by $chr(15).