String.slice is native ceylon/ceylon.language#407