void handleCtrlError (dynamic ctrl, String message)
void handleCtrlError(dynamic ctrl, String message) { ctrl.proxyError(FidlError(message)); ctrl.close(); }