new version, which inserts the total number of tokens in initial places
in the multiple_initial_tokens pragma