stratego/xtc/posix-xsi
Proc
Proc.str