return ab.magenta(o.toString()).toString();
}
public String ERROR(final Object o) {
ANSIBuffer ab = new ANSIBuffer();
return ab.red(o.toString()).toString();
}
String formatTime(final long time) {
return String.format("%.3f ms", (double) time / 1000000);
}