(Semi)finilized code