// declare attribute accessors
 public long getSm_idLongBased() {
   if (IsSupertypeStateMachine != null) {
     return IsSupertypeStateMachine.getSm_idLongBased();
   }
   return 0;
 }