Regen'd Sireum CLI.