implementing binary operator
implemeting pctrace vma and pma