chiark / gitweb /
machine: move symbols referenced by shared code from main to shared file