# stub license
