let
display_frame_width =
new
O
.int_cp ~group: op_ini
[
"display_frame_width"
] 150
""