do_stuff(proc @(u32))
{
	proc();
}

other_proc(u32)
{
}

other_proc()
{
}

main()
{
	do_stuff(other_proc as @(u32));
}