It seems that the compiler does not generate RTHOOK when dealing with "require else" and precursor without any precondition foo require else pre: pre do print ("foo") print ("%N") end