Switchy Image Test

idris-1