// SPDX-License-Identifier: Apache-2.0
/*
 * Copyright (c) 2020 Google LLC
 * Author: Andrew Scull <ascull@google.com>
 */

void _start(void)
{
	__asm__ volatile("brk 0");
	*((volatile int*)0) = 12;
}