pub fn builtin_slice(
    indexable: IndexableVal,
    index: Option<BoundedUsize<0, { _ }>>,
    end: Option<BoundedUsize<0, { _ }>>,
    step: Option<BoundedUsize<1, { _ }>>
) -> Result<Val>