use of load-theory function in the oss_licensing theories