Intermediate symbols added to core devkit