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