Symbolic Worker

//Symbolic Worker