Yet another one-file if