+1 to ABI string approach, looks more elegant (`extern bare` would be the second case, if rust ends up supporting both).