Also returns the correct symbols in each server module