symbolic optimal assembly program