stratego/xtc/posix-xsi Proc Proc.str