Symbol: extension_append_length