Standards.JSON.encode(): add optional callback argument