ballc to allc is kind slow right now. improvement may not be necessary since is to replace allc file, but still nicer to have a faster one
ballc to allc is kind slow right now.
improvement may not be necessary since is to replace allc file, but still nicer to have a faster one