VOID:BOXED,INT,INT,INT,INT
BOOLEAN:BOXED