int 2 dxdzdy y from 0 to 4 z from 0 to (3-3y/4) x from 0 to (6-3y/2-2z)