GRIM: precise lua header about modifications