nemu kernel templates now properly works with except and thisref