#symbolic coding