# Automatic derivation of generators