To add a Kernel workspace variable name to PublicWS:

1) Add a LabelValue line for the variable to s.GetVals
2) Run Mk
3) See what value was generated for the variable in 'values'
3) 'Export' the variable in hdr.KernelWS (see any other exported variable)
4) Add the variable and its value to hdr.PublicWS