do_stuff(^(u32) proc) { proc(); } other_proc(u32) { } other_proc() { } main() { do_stuff(other_proc as ^(u32)); }