let
load_options file = op_ini
#
read file