added symbolic table