int abc() {
   return 142;
}