Working version with forbidden functions