typedef i27 {} typedef ptr {} do_stuff(*(i27 => i27) proc => i27) { return proc(20); } other_proc(i27 a => i27) { return a + 10; } main() { do_stuff(other_proc&); }