Import vanilla PoS kernel