default{timer(){

list i;
for (i[0]=0; 1; i[0])
  ;

}}