A debugger or objdump would tell you in seconds if there were any differences in the compiled code, which there aren't. And you may desire to...
Separate names with a comma.