The PILS programming language