a Pascal like language named SNL