( [38;5;2;1mPositiveInteger[0m )