pvdevelop generates widget names. rlspawn can
return FILE *fromChild