# Coddefinitions