i can accept that the signature annotation is for ...

# announcements

[danneu]

i can accept that the signature annotation is for filling type-holes in external calls, but is the function body just completely ignored?