Sireum Client/Server Components