hardcoded program() for test purposes