i know windows has winsound, and i think linux has a different sound library. is there any function that plays sounds on multiple operating systems in Python, or do i figure out which os the user is running and use the respective function? =z