Add stub for (def shef 8)