$KGEN is getting smaller