native function for ceylon/ceylon-js#431