let
get h optn = get_fun (get_record h optn)