michaelg/dev: links for implicit-rec1