Fix address sanitizer build

[AlexK-BD]

Summary

I ran into the following issues with including mujoco headers in an ASAN build:

1. clang didn't build due to our build having the -Wgcc-compat warning enabled with -Werror
2. gcc didn't build because it doesn't allow attribute to be specified on a definition (only a declaration)

Fix

Separate the function definition and declaration