AUTOEXTEND
{
OFF
|
ON
[
NEXT
integer [
K
|
M
] ] [maxsize_clause] }