typedef some_type {
	add(some_type, some_type => some_type);
}

add(u32 a, u32 b => u32)
{
	return a + b;
}

/* ah fuck, analyze_proc gobbles up the typeof */
some_proc(some_type a, typeof a b => typeof a)
{
	return add(a, b);
}

main()
{
	some_proc(20 as u32, 40 as u32);
}