You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
Under IUPAC nomenclature, a molecule named 4-ethenyl-1,2-dimethyl-1-oxido-2,3,4a,5,6,7,8,8a-octahydroquinolin-1-ium-4-ol is given. What is its corresponding molecular formula?
user
C13H23NO2
assistant