Combine SPECIAL and SELF-TERMINATING; WIP on implicit return
WIP on implicit return