alloy compiler runs on baby example