inline double get_val () { return 54.0; }