A question about allocations: does your comment mean any HOFs are banned in the compiler?