This is auto-generated from RNC file: