A non-tree representation of a UI control tree is provided by a compact UI binary file that is generated by encoding a UI definition markup file expressing UI controls and behavior in human-readable form. The number of engagement arms matches the number of native valve leaflets. A first mask is formed on the substrate.