Reorganize Batsh_format and Symbol_table