Update main.s

Updated name mangling rules