Strictifying code