resolve undefined blobs by default, e.g. relevant for ML debugger to avoid reset of breakpoints after reload;
(* Title: Pure/ML-Systems/maximum_ml_stack_dummy.ML
Maximum stack size (in words) for ML threads -- dummy version.
*)
fun maximum_ml_stack (_: int option) : Thread.threadAttribute list = [];