Tag: compilation by normalization