Fixed stupid bug
Added bounds checking, and bounds setting for constant strings
Set bounds on malloc
Bounds checks on array access to pointers