I think backticks are a good compromise between the ease of style-insensitivity and the need for conforming to the FFI names.
While we're at it, we should also consider allowing initial and final underscores as well as consecutive underscores when a backtick-enclosed identifier is used.
