# Placeholder for web workers