Example of external kernel