add dereferencable module, activity spec