get_value_from_lib()1 int get_value_from_lib() {
2   return 54321;
3 }
4