commit of verification long standing branch

I know... I did not not change ```BuiltinList``` in this commit.