Emit list of renamed symbols into final .bi