# Placeholder for spec extension