$PIPPIN is empty and it's correct