bin/mujoco-basic
bin/mujoco-compile
bin/mujoco-record
bin/mujoco-testspeed
