// SPDX-License-Identifier: GPL-2.0
#include <jvmti.h>
#include <jvmticmlr.h>

int main(void)
{
	jvmtiCompiledMethodLoadInlineRecord	rec __attribute__((unused));
	jvmtiCompiledMethodLoadRecordHeader	hdr __attribute__((unused));
	PCStackInfo				p   __attribute__((unused));
	return 0;
}