Just a Package Test for L4