hard pgfopts hard filecontentsdef hard l3kernel # orig: expl3