type menuptr [display="Menu Ptr"] { i32 ptr [ui, readonly, display="Ptr"]; }