int arrays up, formallists redone