default{timer(){
  integer x;
  @x;
}}