// Copyright © Tavian Barnes <tavianator@tavianator.com>
// SPDX-License-Identifier: 0BSD

int main(void) {
	__builtin_riscv_pause();
	return 0;
}