should_run/allocLimit4: disable ghci way