Added some source properties as a santity check, and to test out the new
LibWfenv.