Symbol: ast_write_filemark