kill the original S0, add @implicitNotFound