Symbol: MIC_VFP_SIZE