Generated with JSDuck.