New concrete syntax: `external` declarations with default FFI name.