fixed stack representation, commence OCL