(g,K)-module loading ...