Test for franco kernel