added simple lispify-declaration