#include <u.h>
#include <rt.h>

int  main();
void _init() __attribute__((weak));
void _fini() __attribute__((weak));

void rt·boot(int (*)(), int , char **, void (*)(), void (*)(), void (*)());

void
rt·thunk(intptr *stack)
{
	int argc	= stack[0];
	char **argv = (void *)(stack+1);

	rt·boot(main, argc, argv, _init, _fini, 0);
}