strict number of terminals that we know that handle these strange chars