Compile references to labels; tests for load and store operations