michaelg/dev: links for exec1234