building disabled macro
adding dependent function contract examples