Why proto and addr are separate

[iacore]

What's the rationale of having separate proto/func definition? They often appear in duplicate pair.

hi_proto: proto i32
hi:     func i32

later: call hi_proto, hi, ...

Is there any interesting usage that use multiple prototypes to call an address?