Miscellaneous Extension for Graphics32 such GR32_ExtLayer and more