whl/mainbox: links for 1234exec