Tweaked to work around FUNCTION emit overflow, fix false “call” to check-depth