1  
 2  program test.alpha {
 3      transition main(id_type: u8) -> bool {
 4          if (id_type == 1u8) {
 5              return true;
 6          }
 7          if (id_type == 2u8) {
 8              assert(0u8 > id_type);
 9              return false;
10          }
11          return false;
12      }
13  }