declare function loop(): void;