JS backend: test toString overriding and overloading as well