service TaxService {
   i32 tax(1: i32 amt)
}