Two independent fixes: - need to prefix symbols referenced from asm with underscore; - need to undo the C-function prelude.