type_check
static void type_check(symbol_t *symbol, expression_t *expression, int and_op);
type_check(dest->symbol, immed, opcode);
type_check(src->symbol, immed, opcode);
type_check(fdpath, fp);