New format for JSDuck 5