bindings: format specifier of array_len