; timer interrupt is apparently not invoked anyway Timer:: reti