#include <std/straights.h> typedef char c; template class string_char_traits <c>; ostream& endl(ostream& outs) { // return flush(outs.put('\n')); return('\n'); }