Symbols bootstrapped