Module: default-procedure